Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
381	PDF Document Add to Reading List Source URL: www.danielclemente.com Language: English - Date: 2005-05-17 18:34:22 Propositional calculus Philosophical logic Natural deduction If and only if Entailment Universal quantification Modus ponens Negation Modal logic Logic Mathematical logic Deduction
382	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-11-02 17:01:22 Proof theory Deduction Metalogic Model theory Logic in computer science Natural deduction Curry–Howard correspondence Structure Entailment Logic Mathematical logic Mathematics
383	PDF Document Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:02 Model theory Automated theorem proving Rules of inference Proof theory Deduction Natural deduction First-order logic Function Unification Mathematical logic Logic Mathematics
384	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
385	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:24 Deduction Mathematical logic Mathematical proofs Logical consequence Natural deduction Entailment Mizar system First-order logic Existential quantification Logic Mathematics Proof theory
386	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
387	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:37:50 Rules of inference Philosophical logic Logical consequence Natural deduction Entailment Soundness Inference Disjunctive syllogism Modal logic Logic Proof theory Deduction
388	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:35:40 Proof theory Philosophical logic Deduction Lambda calculus Model theory Natural deduction Curry–Howard correspondence Entailment Modal logic Logic Mathematical logic Mathematics
389	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2009-09-09 16:21:38 Boolean algebra Semantics Logical connectives Tautology Natural deduction Modal logic Negation Well-formed formula Truth function Logic Mathematical logic Propositional calculus
390	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-02-26 23:28:44 Lambda calculus Logic in computer science Proof theory Combinatory logic Type theory Curry–Howard correspondence Free variables and bound variables Function Natural deduction Mathematics Theoretical computer science Mathematical logic